Category of finite dimensional Hilbert spaces

In mathematics, the category FdHilb has all finite dimensional Hilbert spaces for objects and linear transformations between them.

Properties

This category

• is monoidal,
• possesses finite biproducts, and
• is dagger compact.